Что (кто) такое SWI-Prolog - определение

FREE IMPLEMENTATION OF THE PROGRAMMING LANGUAGE PROLOG, COMMONLY USED FOR TEACHING AND SEMANTIC WEB APPLICATIONS

SWI Prolog; Sociaal-Wetenschappelijke Informatica Prolog; Swipl; XPCE; SWIPL

SWI-Prolog

<programming> A Prolog by Jan Wielemaker <jan@swi.psy.uva.nl> like a superset of Edinburgh Prolog. Version 1.7.2. Docking Station is distributed under {General Public License}. It runs on Sun-4, Sun-3, Linux, DEC MIPS (incomplete), RS/6000, PS2/AIX, Atari ST, Gould PN, NeXT, VAX, HP-UX (problems), MS-DOS, and OS/2. SWI-Prolog">ftp://swi.psy.uva.nl/pub/SWI-Prolog. SWI/">OS/2 (ftp://mpii02999.ag2.mpi-sb.mpg.de/pub/toolw/SWI/). Mailing list: prolog-request@swi.psy.uva.nl. (2000-03-23)

PROLOG

PROGRAMMING LANGUAGE THAT USES FIRST ORDER LOGIC

Prolog programming language; Prolog (programming language); ISO/IEC 13211-1; PROLOG; PROLOG programming language; Prolog II; ISO/IEC 13211-2; Prologue language; SICStus Prolog; SICStus; Criticism of Prolog; ISO/IEC 13211; Prolog language; ISO-Prolog; ISO Prolog; Design patterns in Prolog; Prolog-MPI; Meta-interpreters in Prolog

PROgramming in LOGic

Prolog

PROGRAMMING LANGUAGE THAT USES FIRST ORDER LOGIC

·noun & ·v Prologue.

Википедия

SWI-Prolog

SWI-Prolog is a free implementation of the programming language Prolog, commonly used for teaching and semantic web applications. It has a rich set of features, libraries for constraint logic programming, multithreading, unit testing, GUI, interfacing to Java, ODBC and others, literate programming, a web server, SGML, RDF, RDFS, developer tools (including an IDE with a GUI debugger and GUI profiler), and extensive documentation.

SWI-Prolog runs on Unix, Windows, Macintosh and Linux platforms.

SWI-Prolog has been under continuous development since 1987. Its main author is Jan Wielemaker.

The name SWI is derived from Sociaal-Wetenschappelijke Informatica ("Social Science Informatics"), the former name of the group at the University of Amsterdam, where Wielemaker is employed. The name of this group has changed to HCS (Human-Computer Studies).

https://en.wikipedia.org/wiki/SWI-Prolog